import "DPI-C" function void counter7_count(input chandle p);
import "DPI-C" function void counter7_load(input chandle p, input bit[6:0] data_in);
import "DPI-C" function void counter7_reset(input chandle p);
import "DPI-C" function int counter7_get(input chandle p);
import "DPI-C" function chandle counter7_new();

class Counter7;
    chandle inst;
    function new();
        inst = counter7_new();
    endfunction

    function void count();
        counter7_count(inst);
    endfunction

    function void load(input bit[6:0] data_in);
        counter7_load(inst, data_in);
    endfunction

    function void reset();
        counter7_reset(inst);
    endfunction

    function int get();
        return counter7_get(inst);
    endfunction

endclass
